$\forall$$P$:Prop, $Q$:($\cap$$x$:$P$. Prop). Dec($P$) $\Rightarrow$ ($P$ $\Rightarrow$ Dec($Q$)) $\Rightarrow$ Dec($P$ $\Rightarrow$ $Q$)